Received: by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA09413; Fri, 17 Feb 95 09:15:20 PST
Received: from mailhost.tue.nl by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA09407; Fri, 17 Feb 95 09:15:10 PST
Received: from terra.stack.urc.tue.nl (terra.stack.urc.tue.nl [131.155.140.128]) by mailhost.tue.nl (8.6.9/8.6.9) with SMTP id SAA27546 for <announce@cs.ucdavis.edu>; Fri, 17 Feb 1995 18:15:06 +0100
Received: by terra.stack.urc.tue.nl (4.1/1.53)
id AA06355; Fri, 17 Feb 95 18:15:49 +0100
Received: by sphinx.stack.urc.tue.nl (UMS-UUCP/sendmail 0.8);